Nuprl Definition : dseq 11,40
dseq(d;a) == eqof((d.2)(a)) 
latex

Definitionst.2, eqof(d)
FDL editor aliasesdseq

origin